Let Freeness Ring: The Canadian Standard Freeness Tester as Hegemonic Engine
نویسندگان
چکیده
منابع مشابه
Testing Pattern-Freeness
Understanding the local behaviour of structured multi-dimensional data is a fundamental problem in various areas of computer science. As the amount of data is often huge, it is desirable to obtain sublinear time algorithms, and specifically property testers, to understand local properties of the data. We focus on the natural local problem of testing pattern freeness: given a large d-dimensional...
متن کاملDistributedly Testing Cycle-Freeness
We tackle local distributed testing of graph properties. This framework is well suited to contexts in which data dispersed among the nodes of a network can be collected by some central authority (like in, e.g., sensor networks). In local distributed testing, each node can provide the central authority with just a few information about what it perceives from its neighboring environment, and, bas...
متن کاملContext-freeness Revisited
A series of papers have appeared investigating the ability of various species to learn context-free languages. From a computational point of view, the experiments in this tradition suffer from a number of problems concerning the stimuli used in the training phase of the experiments, the controls presented in the test phase of the experiments, and the motivation for and the conclusions drawn fro...
متن کاملFormalising Receipt-Freeness
Receipt-freeness is the property of voting protocols that a voter cannot create a receipt which proves how she voted. Since Benaloh and Tuinstra introduced this property, there has been a large amount of work devoted to the construction of receipt-free voting protocols. This paper provides a generic and uniform formalism that captures the notion of a receipt. The formalism is then applied to an...
متن کاملOn Cloning Context-Freeness
A first-order language is called monadic if its non-logical vocabulary lacks both function symbols and relation symbols of arity greater than one. Formulas of this kind of language can be mechanically tested for validity but its expressive power seems to be too restricted to be of any interest for linguistics. Monadic second-order languages on the other hand extend the language of (full) first-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Spontaneous Generations: A Journal for the History and Philosophy of Science
سال: 2010
ISSN: 1913-0465
DOI: 10.4245/sponge.v4i1.11331